#ifndef SYSCALL_H
#define SYSCALL_H

void uprint (char *s, ...);

#endif
